A Short Introduction to Categorical Logic
youtube.com·5d
🏗️Compiler Design
Flag this post
Building Freebsd Ports
blog.bapt.name·23h
🦀Rust
Flag this post
Expert Communication Coach for Professionals, One-to-One
togetherlondon.com·20h
🔍Static Analysis
Flag this post
Deadbug – Nick-E.com
nick-e.com·1d
💻Programming
Flag this post
Dynamics in Jordan Algebras
golem.ph.utexas.edu·1d
🛡️Memory Safety
Flag this post
Never Use Text Pixelation To Redact Sensitive Information | Bishop Fox
bishopfox.com·2d
🔍Static Analysis
Flag this post
The Fear Around AI
zzzptm.com·17h
🛡️Memory Safety
Flag this post
roosnaflak.com/tech-and-research/transitioning-to-pipewire/#access-all-your-i-os
roosnaflak.com·16h
🏗️Compiler Design
Flag this post
Bye, Google Search
tbray.org·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Horn Clauses
youtube.com·3d
🏗️Compiler Design
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·6d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Natural gas may contribute to climate change as much as coal, a study says. : NPR
npr.org·1d
🦀Rust
Flag this post
~hush's gemlog
tilde.town·4d
🦀Rust
Flag this post
The Treachery of Image Files
beyondloom.com·1d
💻Programming
Flag this post
The Federal Reserve's Meeting Starts Today—Here's What You Need to Know - Investopedia
scour.ing·6d
💻Programming
Flag this post
Sigsum
sigsum.org·2d
🔍Static Analysis
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·4d
🔍Static Analysis
Flag this post
Database backups, dump files and restic
strugglers.net·6d·
Discuss: Lobsters, Hacker News
🛡️Memory Safety
Flag this post
r/bodyweightfitness Wiki: Skill Day Routine Guide
reddit.com·6d·
Discuss: r/bodyweightfitness
💻Programming
Flag this post
Taking steps to end abusive traffic from cloud providers
anubis.techaro.lol·3d·
Discuss: Hacker News
🛡️Memory Safety
Flag this post